航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

CFRP反射器型面主动控制和作动器位置优化

研究了运用压电陶瓷作动器对碳纤维增强复合材料（CFRP）格栅反射器的型面主动控制。首先，采用了一种具有独立电压自由度的梁单元，以及考虑高阶剪切变形的板单元，对主控格栅反射器进行有限元建模；运用能量变分哈密尔顿原理推导了主控格栅反射器的有限元控制方程，并给出了反射面型面残余均方根（RMS）误差最小的电压最优控制方法。然后，研究了在典型载荷下，反射面残余RMS误差最小的PZT作动器位置分布的优化配置问题；提出了一种将遗传算法和梯度投影方法相结合的改进优化方法，用来求出在限定作动器数量的条件下，作动器几何位置的优化配置，使控制后反射面的残余RMS误差最小；给出的数值算例验证了方法的正确性和有效性。最后，研制了格栅反射器型面主动控制的实验样机，针对反射器的初始制造误差进行了型面主动控制，验证了控制方法的可行性和有效性。     

利用微波探测仪(ATMS)对在轨微波辐射计观测精度的模拟分析

微波辐射计的观测精度及其对数值模式同化应用的影响评估是微波辐射计观测指标设计的重要参考。基于微波探测仪(ATMS)资料,利用三维变分同化系统模拟分析在轨微波辐射计的观测精度指标。针对ATMS观测误差特征,在其观测基础上增加均值为零、标准偏差分别为0.5,1.0,1.5,2.0K的正态随机扰动,进而获得不同精度的观测模拟值序列,然后利用Harris和Kelley的辐射资料偏差订正经验方法订正不同精度的观测资料。偏差订正后,利用三维变分同化模式(WRFDA)直接同化ATMS资料。通过2016年6月6h预报场的同化试验,评估了不同观测精度的模拟资料对数值模式的同化影响。     

针对旋翼流场模拟的自适应网格算法

针对基于格心格式求解器的旋翼流场模拟,提出了相应的自适应笛卡尔网格的数据存储结构及自适应算法。给出了相应的单元处理策略,简化了对自适应笛卡尔网格的处理;对于频繁的自适应加密过程中产生的大量重复点,采用了高效的交替数字树算法(Alternating digital tree,ADT)予以删除;对于自适应疏化过程中产生的大量无用点,提出了标记-删除-移动(Mark,delete,move,MDM)算法予以快速地删除,减少了不必要的计算资源消耗。对CaradonnaTung旋翼在不同悬停状态下进行了模拟验证,对比了压力分布系数与桨尖涡位置。之后对HELISHAPE 7A旋翼在前飞情况下进行了模拟验证,计算值与实验值吻合。此外,求解器对桨尖涡的捕捉效果得到了明显的提高,表明本文方法具有良好的有效性与鲁棒性。     

PBT弹性体微相分离及对其力学性能的影响研究

为了获得微相分离对宽温PBT叠氮聚醚弹性体力学性能的影响规律,用红外光谱分析法(FT-IR)和动态热力学分析法(DMA)研究了PBT叠氮聚醚弹性体产生微相分离的机理和影响因素。用调节硬段含量、交联参数的方法调控其微相分离,控制适当的微相分离程度可显著改善推进剂的力学性能。研究结果表明:在二元醇扩链的弹性体体系中,当硬段含量约为15%时,弹性体发生相对最大比例的微相分离,体现出较佳的综合力学性能。通过微相分离的调控可获得宽温范围内综合力学性能较好的叠氮聚醚推进剂用粘合剂基体材料。     

模具CAPP系统

介绍了汽车冷冲压模具行业工艺水平现状和传统CAPP系统特点，以及冷冲压模具厂工艺设计管理模式；分析研究适应于现代汽车模具制造业的模具CAPP系统。     

电子工作台在模拟电子技术中的应用

本文简要地介绍了电子工作台的特点和使用方法，结合我们设计具体模拟电子线路的实践，说明了电子工作台在模拟电子技术中的应用。     

DNA damage and repair in oncogenic transformation by heavy ion radiation.

Energetic heavy ions are present in galactic cosmic rays and solar particle events. One of the most important late effects in risk assessment is carcinogenesis. We have studied the carcinogenic effects of heavy ions at the cellular and molecular levels and have obtained quantitative data on dose-response curves and on the repair of oncogenic lesions for heavy particles with various charges and energies. Studies with repair inhibitors and restriction endonucleases indicated that for oncogenic transformation DNA is the primary target. Results from heavy ion experiments showed that the cross section increased with LET and reached a maximum value of about 0.02 micrometer2 at about 500 keV/micrometer. This limited size of cross section suggests that only a fraction of cellular genomic DNA is important in radiogenic transformation. Free radical scavengers, such as DMSO, do not give any effect on induction of oncogenic transformation by 600 MeV/u iron particles, suggesting most oncogenic damage induced by high-LET heavy ions is through direct action. Repair studies with stationary phase cells showed that the amount of reparable oncogenic lesions decreased with an increase of LET and that heavy ions with LET greater than 200 keV/micrometer produced only irreparable oncogenic damage. An enhancement effect for oncogenic transformation was observed in cells irradiated by low-dose-rate argon ions (400 MeV/u; 120 keV/micrometer). Chromosomal aberrations, such as translocation and deletion, but not sister chromatid exchange, are essential for heavy-ion-induced oncogenic transformation. The basic mechanism(s) of misrepair of DNA damage, which form oncogenic lesions, is unknown.     

绝对不稳定性理论在尾流稳定性分析方面的研究

介绍了绝对／对流不稳定性的理论框架，并应用于钝体尾流剪切层的稳定性分析研究中。钝体尾流可以认为是局部平行流，而局部平行流的稳定性分析可以归结为Ｏｒｒ－Ｓｏｍｍｅｒｆｅｌｄ方程的求解。Ｏ－Ｓ方程求解化为一个复广义矩阵问题ＡＸ＝ωＢＸ，并分别约化Ａ，Ｂ为上Ｈｅｓｓｅｎｂｅｒｇ阵和上三角阵，通过Ｃｈｅｂｙｓｈｅｖ配置法可以求出特征值。最后对于Ｇａｕｓｓ尾流计算模型，给出了其在不同Ｒｅｙｎｏｌｄｓ下，流动     

对策论在雷达电子战效能评估中的应用

介绍了对策论的基本内容和分析方法,包括对策论所涉及问题的要素和分类.指出了对策论在雷达电子战效能评估中应用的可行性和必要性.分析了电子对抗博弈双方采取不同对抗技术措施的得益矩阵,并在此得益矩阵的基础上,重点研究了对策论在电子对抗效能评估过程中的应用.